用于数据库管理的关系模型(英语:Relational model)是基于
谓词逻辑和
集合论的一种
数据模型,广泛被使用于
数据库之中。最早于1969年由
埃德加·科德提出。
关系模型的基本假定是所有
数据都表示为数学上的
关系,就是说n个
集合的
笛卡儿积的一个
子集,有关这种数据的
推理通过二值(就是说没有
NULL)的
谓词逻辑来进行,这意味着对每个
命题都有两种可能的
赋值:要么是真要么是假。数据通过
关系演算和
关系代数的一种方式来操作。关系模型是采用二维表格结构表达实体类型及实体间联系的数据模型.
关系模型允许设计者通过数据库规范化的提炼,去建立一个
信息的一致性的模型。访问计划和其他实现与操作细节由
DBMS引擎来处理,而不应该反映在逻辑模型中。这与SQL DBMS普遍的实践是对立的,在它们那里性能调整经常需要改变逻辑模型。
基本的关系建造块是域或者叫
数据类型。
元组是
属性的有序
多重集(multiset),属性是域和值的有序对。关系变量(relvar)是域和名字的
有序对(序偶)的集合,它充当关系的
表头(header)。
关系是元组的集合。尽管这些
关系概念是数学上的定义的,它们可以宽松的映射到传统数据库概念上。表是关系的公认的可视表示;元组类似于
行的概念。
关系模型的基本原理是信息原理:所有
信息都表示为关系中的数据值。所以,关系变量在设计时刻是相互无关联的;反而,设计者在多个关系变量中使用相同的
域,如果一个属性依赖于另一个属性,则通过
参照完整性来强制这种
依赖性。